301. A proof theory for general unification
Author: Wayne Snyder
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96S6
302. A resource-light approach to morpho-syntactic tagging /
Author: Anna Feldman and Jirka Hana.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics.,Cross-language information retrieval.,Grammar, Comparative and general-- Morphosyntax.,Language transfer (Language learning),Computational linguistics.,Cross-language information retrieval.,Grammar, Comparative and general-- Morphosyntax.,LANGUAGE ARTS & DISCIPLINES-- Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Syntax.,Language transfer (Language learning)
Classification :
P290
.
F45
2010eb
303. A survey of Islamic history -- Why an introduction to Islam specifically for Jews? -- Arabs and Israelites -- Pre-Islamic origins -- The emergence of Islam -- Muhammad and the Jews of Medina -- The death of the prophet and the expansion of the community -- The conquests -- The caliphal dynasties -- The decline of the Muslim world -- God, the Qur'an, and Islamic law -- God -- The five doctrines or "pillars of faith" -- The evolution of a formal theology -- The Qur'an -- The interpretive tradition -- The prophetic record -- Islamic law -- The workings of shari'a -- The umma: Islam in practice -- The umma and the caliphate -- The five pillars of Islam -- A sixth pillar? Jihad -- The range of practice among Muslims -- Sufism -- The shi'a -- Mosque and clergy -- The calendar -- The Muslim life-cycle -- Personal observance. 0
پدیدآورنده : Reuven Firestone.
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
304. A survey of fractal dimensions of networks /
Author: Eric Rosenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fractal analysis.,System analysis.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Fractal analysis.,System analysis.
Classification :
QA402
.
R67
2018
305. A survey on 3d cameras: metrological comparison of time-of-flight, structured-light and active stereoscopy technologies
Author: / Silvio Giancola.,Giancola, Silvio,
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Stereoscopic cameras.,PHOTOGRAPHY -- Techniques -- Equipment.,PHOTOGRAPHY -- Techniques -- General.,Photography, Stereoscopic cameras.
306. A system for prototyping optical architectures. Volumes I and II. Concepts and Design. Volume III. Applications. Volume IV. Implementation. Volume V. Reference manual
Author: A. M. Memon
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied sciences,Computer science,Electrical engineering,Optics,Pure sciences
307. AI and cognitive science :
Author: second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intelligence artificielle -- Actes de congrès.
308. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
309. AQA A level Computer Science.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
310. ARM-based microcontroller projects using MBED /
Author: Dogan Ibrahim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems-- Programming.,Microcontrollers.,Programmable controllers.,Embedded computer systems-- Programming.,Microcontrollers.,Programmable controllers.,TECHNOLOGY & ENGINEERING / Engineering (General)
Classification :
TJ223
.
P76
311. ARM microprocessor systems :
Author: Muhammad Tahir and Kashif Javed
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: ARM microprocessors.,ARM microprocessors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
6
.
T337
2017
312. ASR:
Author: Bera, Aritra
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Information technology,Systems science,Technical communication,Web studies
313. ASR: Ari Screen Reader for Website Applications
Author: Bera, Aritra
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Information technology,Systems science,Technical communication,Web studies
314. ATARI BASIC-Trickkiste
Author: von Alfred Görgens, Karl-Heinz Koch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General),Science, general.
315. ATARI Player-Missile-Grafik
Author: von Alfred Görgens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General),Science, general.
316. ATM technology for broadband telecommunications networks /
Author: Abhijit S. Pandya, Ercan Sen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Asynchronous transfer mode.,Broadband communication systems.,Mode de transfert asynchrone.,Télécommunications à large bande, Systèmes de.,Asynchronous transfer mode.,ATM.,Breitbandübertragung,Broadband communication systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK5105
.
35
.
P36
1999eb
317. AVIEN malware defense guide for the Enterprise /
Author: David Harley [and others] ; foreword by Robert S. Vibert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures.,Computer security-- Management.,Computer viruses.,Computer networks-- Security measures.,Computer security-- Management.,Computer viruses.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.
Classification :
QA76
.
9
.
A25
A873
2007eb
318. AWS certified solutions architect practice tests :
Author: Brett McLaughlin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Amazon Web Services (Firm)-- Certification-- Examinations,Cloud computing-- Examinations, Study guides.,Web services-- Examinations, Study guides.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA76
.
585
319. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
320. Absolute beginner's guide to computer basics /
Author: Michael Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA76
.
5
.
M531412
2003eb
